Enter the word for search

high-order logic

Translations

логика высшего порядка

High-order logic allows for more expressive statements than first-order logic.

Логика высшего порядка позволяет делать более выразительные утверждения, чем логика первого порядка.